Constraints Speci cation for TaskScheduling in Real - Time
نویسندگان
چکیده
Dealing with scheduling problems leads to the need of task models representing their activation, execution and termination characteristics. During the last 20 years a lot of research has been done on scheduling of real-time systems and a huge number of real-time scheduling algorithms were proposed. In this paper we present a summary of the task constraints handled by the existing algorithms. Unfortunately existing algorithms can only handle a small set of the possible real-time constraints of tasks. The aim is to achieve a framework to be used by a constraint programming language to determine optimal or near-optimal schedules.
منابع مشابه
The Temporal Specification and . . .
We extend the speci cation language of temporal logic, the corresponding veri cation framework, and the underlying computational model to deal with real-time properties of reactive systems. Semantics We introduce the abstract computational model of timed transition systems as a conservative extension of traditional transition systems: qualitative fairness requirements are superseded by quantita...
متن کاملShort Running Title towards Reusable Real-time Objects Contact Author
Large and complex real time systems can bene t signi cantly from a component based development approach where new systems are constructed by composing reusable documented and previously tested concurrent objects However reusing objects which execute under real time constraints is problematic because appli cation speci c time and synchronization constraints are often embedded in the internals of...
متن کاملGraphical Communicating Shared Resources: a Language for Specifying and Analyzing Real-Time Systems
We present Graphical Communicating Shared Resources, GCSR, a formal language for the speci cation and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experime...
متن کاملRequirement Speci cations For Real-Time Communication
Distributed communications are an essential part of many current and proposed real-time systems. However, no existing requirements speci cation language provides explicit and general support for distributed real-time communications (DRTC), most likely because of its diversity and complexity. Through examples, we rst justify the need for handling DRTC at the speci cation level; an air tra c cont...
متن کاملA Framework for Scheduler Synthesis
In this paper we present a framework to integrate speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs, . . . ) is speci ed in terms of a timed Petri-net formalism. We show how to generate, in a second step, the most genera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007